MA.1.0 ~ 1.1 Intro, 实数

2023-09-26

几何 代数 分析
Fermat数:如果正多边形的边数符合,则可尺规作图
EularLaplace

什么是数分?

{()

有限到无穷——希尔伯特旅馆

平直到弯曲——质变


学习要求

不含数学符号的描述 多尝试 独立思考

证明有理数、无理数

反证法

  • 存在性
  • 无穷性
  • 否定性

有理数即有限小数/循环小数

  • pq
    • 余数为0:有限
    • 余数不为0:至少重复q次一定重复

实数域

实数完备性公理、 #实数公理

数轴

逻辑符号" tabindex="-1">补充:逻辑符号

#逻辑

ForAllExistLogicNot¬LogicAndLogicOr

逻辑否定

P:M>0, nN 使 |xn|M¬P:M>0, nN  |xn|<M

不等式" tabindex="-1">不等式

#不等式

Bernoulli 不等式

(1+x)n1+nx

均值不等式(AGH不等式)

G:最适用于 不全相同但接近

n1x1+1x2++1xnx1x2x3xnnx1+x2+x3xnnx1=x2=x3==xn

例题4:en=(1+1n)n. {en}en<4.
证明:^1e9a3c

en=(1+1n)(1+1n)(1+1n)1<(n(1+1n)+1n+1)n+1=(n+2n+1)n+1=(1+1n+1)n+1=en+1en=4[(1+1n)(1+1n)(1+1n)1212]<4(n(1+1n)+12+12n+2)n+2=4

^ce32e4